Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
281	ΠΣ: Dependent Types without the Sugar Thorsten Altenkirch1 , Nils Anders Danielsson1 , Andres L¨oh2 , and Nicolas Oury3 1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-02-16 10:41:43 Type theory Functional languages Data types Programming idioms Lambda calculus Epigram Agda Recursive data type Dependent type Software engineering Computer programming Computing
282	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Computability theory Functions and mappings Models of computation Functional languages Lambda calculus Interpretation Function First-order logic Mathematical logic Mathematics Logic
283	CONNECTIVITY OF RANDOM NETS Ray Solomonoff and Anatol Rapoport Department of Physics and Committee on Mathematical Biology The University of Chicago ∗ Abstract Add to Reading List Source URL: world.std.com Language: English - Date: 2014-07-03 18:59:48 Curves Differential geometry of curves Moment Neuron Entailment Limit set Holomorphic functional calculus Logic Differential geometry Abstract algebra
284	VOL. 42, 1956 MATHEMATICS: BADE AND SCHWARTZ 519 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:52:10 Operator theory Linear algebra Hilbert space Spectral theory Borel functional calculus Functional calculus Self-adjoint operator Spectral theorem Differential operator Mathematical analysis Algebra Mathematics
285	DEFAULT ARGUMENTS Wednesday, September 18, 13 DEFAULT ARGUMENTS Add to Reading List Source URL: esdiscuss.org Language: English Functions and mappings Subroutines Functional programming Lambda calculus Function Exponential function Surjective function Software engineering Computer programming Mathematics
286	Lecture 5 Constructive Algorithms in Coq - NII Lectures Series [width=4cm]niilogo.jpg Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-25 03:08:36 Functions and mappings Lambda calculus Application programming interfaces Theoretical computer science Function composition Functional programming Coq Function Algorithmic skeleton Computing Software engineering Computer programming
287	The Ruby Intermediate Language ∗ Michael Furr Jong-hoon (David) An Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2009-11-19 15:40:34 Scripting languages Higher-order functions Subroutines Functional programming Lambda calculus Eval Ruby Main function Dataflow Software engineering Computing Computer programming
288	Motivation In this part of the course we’re examining several methods of higher-level program analysis. We have so far seen abstract interpretation and constraintbased analysis, two general frameworks for formally spec Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-28 06:00:00 Type theory Type systems Procedural programming languages Functional languages Program analysis Hindley–Milner ML Property Holomorphic functional calculus Software engineering Programming language theory Computing
289	Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications Jyotishman Pathak1,2 Samik Basu1 Robyn Lutz1,3 Vasant Honavar1,2 1 Department of Computer Science, Iowa State University, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-11-14 22:17:08 Entailment Logical syntax Metalogic Philosophical logic Propositional calculus Function Constraint logic programming Logic Mathematics Deduction
290	Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Data types Java programming language Cross-platform software Java virtual machine Java bytecode Lambda calculus Javac Type system Subtype polymorphism Computing Software Type theory

UPDATE